Geometry 2.3A, Using Deductive Reasoning To Verify Conjectures